STATIC PROGRAM TRANSFORMATIONS FOR EFFICIENT SOFTWARE MODEL CHECKING

机译：用于高效软件模型检查的静态程序转换

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Shobha Vasudevan; Jacob A. Abraham;
展开▼
作者单位

展开▼
年度 2008
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Static Type Checking of Model Transformation Programs [J] . Zoltán Ujhelyi, ákos Horváth, Dániel Varró Electronic Communications of the EASST . 2011,第2期

机译：模型转换程序的静态类型检查
2. Supporting automated containment checking of software behavioural models using model transformations and model checking [J] . Muram Faiz U. L., Tran Huy, Zdun Uwe Science of Computer Programming . 2019,第APRa1期

机译：使用模型转换和模型检查来支持软件行为模型的自动包含检查
3. Precise and efficient static array bound checking for large embedded C programs [J] . Venet A, Brat G ACM SIGPLAN Notices: A Monthly Publication of the Special Interest Group on Programming Languages . 2004,第6期

机译：大型嵌入式C程序的精确高效的静态数组绑定检查
4. STATIC PROGRAM TRANSFORMATIONS FOR EFFICIENT SOFTWARE MODEL CHECKING [C] . Shobha Vasudevan, Jacob A. Abraham IFIP 156; IFIP World Computer Congress Topical Sessions; 20040822-27; Toulouse(FR) . 2004

机译：高效软件模型检查的静态程序转换
5. An Integrated Static and Dynamic Program Analysis Framework for Checking Concurrency-Related Programming Errors. [D] . Chen, Qichang. 2011

机译：一个集成的静态和动态程序分析框架，用于检查与并发相关的编程错误。
6. Efficient parameter search for qualitative models of regulatory networks using symbolic model checking [O] . Gregory Batt, Michel Page, Irene Cantone, -1

机译：使用符号模型检查对监管网络的定性模型进行有效的参数搜索
7. 06081 Abstracts Collection -- Software Verification: Infinite-State Model Checking and Static Program Analysis [O] . Abdulla Parosh Aziz, Bouajjani Ahmed, Müller-Olm Markus 2006

机译：06081摘要集 - 软件验证：无限状态模型检查和静态程序分析
8. Program Analysis Techniques for Efficient Software Model Checking. [R] . Boyapati, C., Sakallah, K. 2011

机译：高效软件模型检测的程序分析技术。

STATIC PROGRAM TRANSFORMATIONS FOR EFFICIENT SOFTWARE MODEL CHECKING

著录项

引文网络

相似文献

相关主题

期刊订阅